Electronic design automation - PDFSEARCH.IO - Document Search Engine

Electronic design automation
Results: 1598

#	Item
31	-Phil Kaufman Award Nomination Form Phil Kaufman Award for Distinguished Contributions to Add to Reading List Source URL: www.edac.org Language: English - Date: 2015-09-16 11:23:06 Microsoft Computing Phil Kaufman Award Philip A. Kaufman Email Electronic design automation Outlook.com
32	Validated Simulation for Cloud Scheduler Engineering Alexander Pucher, Rich Wolski, and Chandra Krintz Department of Computer Science University of California, Santa Barbara {pucher, rich, ckrintz}@cs.ucsb.edu Add to Reading List Source URL: gswc.cs.ucsb.edu Language: English - Date: 2016-03-01 02:43:38 Computing Cloud infrastructure Electronic design automation Simulation Operations research Logic simulation Monte Carlo method Eucalyptus Cloud computing
33	Continued Relevance of Bit-Level Verification Research R. Brayton, N. Een, A. Mishchenko Berkeley Verification and Synthesis Research Center EECS Dept., University of California, Berkeley Introduction Add to Reading List Source URL: fm.csl.sri.com Language: English - Date: 2010-10-30 02:14:08 Theoretical computer science Formal methods Logic in computer science Electronic design automation NP-complete problems Boolean algebra Boolean satisfiability problem Solver Formal equivalence checking Formal verification Model checking Uclid
34	Microsoft Word - In-situ Sensors[1].doc Add to Reading List Source URL: www.ridgetopgroup.com Language: English - Date: 2015-07-18 01:30:10 Electronic engineering Electromagnetism Engineering Survival analysis Electronics manufacturing Electronic design automation Failure Maintenance Prognostics Electromigration Reliability JTAG
35	OVM Format Description CHAMP Overhauser Magnetometer Data Description (CDF) CH-ME-2-OVM Update: Martin Rother Add to Reading List Source URL: op.gfz-potsdam.de Language: English - Date: 2008-06-11 03:36:30 Computing Computer data Data Electronic design automation Open Verification Methodology Attribute Variance
36	Journal of Automated Reasoning manuscript No. DOIs10817Interpolation Systems for Ground Proofs in Automated Deduction: a Survey Maria Paola Bonacina · Moa Johansson Add to Reading List Source URL: www.cse.chalmers.se Language: English - Date: 2015-03-16 05:12:39 Mathematical logic Logic Theoretical computer science Automated theorem proving Formal methods Logic in computer science Electronic design automation Craig interpolation Interpolation Satisfiability modulo theories Unit propagation Resolution
37	ALTIUM DESIGNER 16 HARMONIZE YOUR PCB DESIGN POTENTIAL FEATURE SET SUMMARY Altium Designer Add to Reading List Source URL: www.ccontrols.pl Language: English - Date: 2015-11-24 08:30:13 Electronic design automation Electronic engineering Electrical engineering Altium Designer CircuitMaker Altium CADSTAR OrCAD P-CAD PCB Electronics ODB++
38	Engineering Design Services Ridgetop Group Inc. Engineering Innovation Add to Reading List Source URL: www.ridgetopgroup.com Language: English - Date: 2015-08-06 19:04:37 Electronic engineering Electronics Design Electronic design Integrated circuits Integrated circuit design Application-specific integrated circuit Mixed-signal integrated circuit Electronic design automation Reliability engineering Analog-to-digital converter
39	Make external Vault content your own With a diligent and skilled operator, developing the single set of reliable CAD models (symbol, footprint, parametric data) for a component can Add to Reading List Source URL: www.ccontrols.pl Language: English - Date: 2014-12-19 09:23:19 Electronic engineering Electronics Electrical engineering Altium Computer-aided design Electronic filter CircuitMaker Electronic design automation
40	CUSTOMER CASE STUDY INTELLIGENT MEDICINE AND INTEGRATED CIRCUITS How does a biomedical IC designer integrate MEMS to keep the body from destroying a CMOS, and earn a Technology Pioneer award? The expectation for improve Add to Reading List Source URL: www.ventajamarketing.com Language: English - Date: 2009-03-04 19:56:52 Electronic engineering Electromagnetism Electronics Electronic design Integrated circuits Digital electronics CMOS Microelectromechanical systems Electronic design automation Artificial cardiac pacemaker Proteus